<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">

<%@ page language="java" contentType="text/html; charset=UTF-8"
    pageEncoding="UTF-8" session="false"%>

<html xmlns="http://www.w3.org/1999/xhtml">

<head>
<title>Casino lobby</title>
</head>
<body>

<h1>Casino lobby: RUNNING</h1>

</body>

</html>